Modal Logic 1.1 - System K - Introduction